131![Runtime Verification Logics A Language Design Perspective Klaus Havelund1? and Giles Reger2?? 1 Jet Propulsion Laboratory, California Inst. of Technology, USA Runtime Verification Logics A Language Design Perspective Klaus Havelund1? and Giles Reger2?? 1 Jet Propulsion Laboratory, California Inst. of Technology, USA](https://www.pdfsearch.io/img/6c5b9d4fff61cfd2fad5b4075d23ec53.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2017-08-22 15:37:59
|
---|
132![Learning-Based Abstractions for Nonlinear Constraint Solving Sumanth Dathathri ∗1 , Nikos Arechiga2 , Sicun Gao3 , and Richard M. Murray1 1 Computing and Mathematical Sciences, California Institute of Technology 2 Learning-Based Abstractions for Nonlinear Constraint Solving Sumanth Dathathri ∗1 , Nikos Arechiga2 , Sicun Gao3 , and Richard M. Murray1 1 Computing and Mathematical Sciences, California Institute of Technology 2](https://www.pdfsearch.io/img/e8d9fd8f5626854ae291c278d8ea3d67.jpg) | Add to Reading ListSource URL: scungao.github.ioLanguage: English - Date: 2018-09-27 16:37:21
|
---|
133![Control-data plane intelligence trade-off in SDN Yash Sinha, Siddharth Bhatia Birla Institute of Technology and Science, Pilani, India Abstract— With the decoupling of network control and data Control-data plane intelligence trade-off in SDN Yash Sinha, Siddharth Bhatia Birla Institute of Technology and Science, Pilani, India Abstract— With the decoupling of network control and data](https://www.pdfsearch.io/img/b85b410e9e8b19ae00fbfb0c1d79a939.jpg) | Add to Reading ListSource URL: www.ieee-security.orgLanguage: English - Date: 2017-05-13 21:01:36
|
---|
134![Planware II: Synthesis of Schedulers for Complex Resource Systems Marcel Becker Limei Gilham Douglas R. Smith Kestrel Technology Planware II: Synthesis of Schedulers for Complex Resource Systems Marcel Becker Limei Gilham Douglas R. Smith Kestrel Technology](https://www.pdfsearch.io/img/9c37e38d607128f5774b7d0c227697a7.jpg) | Add to Reading ListSource URL: www.kestrel.eduLanguage: English - Date: 2012-08-02 20:44:21
|
---|
135![Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Exploiting Traces in Static Program Analysis Better Model Checking through printfs Alex Groce, Rajeev Joshi Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Exploiting Traces in Static Program Analysis Better Model Checking through printfs Alex Groce, Rajeev Joshi](https://www.pdfsearch.io/img/8fcffa9a6e4be791e55c05343db5b4fa.jpg) | Add to Reading ListSource URL: rjoshi.orgLanguage: English - Date: 2010-09-11 18:44:06
|
---|
136![Dissertation Abstract: Exploiting Symmetries in Sequential Decision Making under Uncertainty Ankit Anand Indian Institute of Technology, Delhi New Delhi,India Dissertation Abstract: Exploiting Symmetries in Sequential Decision Making under Uncertainty Ankit Anand Indian Institute of Technology, Delhi New Delhi,India](https://www.pdfsearch.io/img/83607a0f95d33cd2e31ecb6a38085995.jpg) | Add to Reading ListSource URL: icaps16.icaps-conference.orgLanguage: English - Date: 2016-06-09 08:09:17
|
---|
137![Compliance guide for smaller businesses, charities and other organisations Data protection and privacy laws are being strengthened throughout the world in response to the ever increasing use of technology and the threats Compliance guide for smaller businesses, charities and other organisations Data protection and privacy laws are being strengthened throughout the world in response to the ever increasing use of technology and the threats](https://www.pdfsearch.io/img/d8d5470356655081eeecb80fa2e1df62.jpg) | Add to Reading ListSource URL: www.inforights.imLanguage: English - Date: 2018-07-17 06:03:27
|
---|
138![2nd International Seminar and Workshop on Emerging Technology and Innovation for Cultural Heritage Parchment, Leather and Textiles Collections and Their Environment Bucharest, Romania, 3rd – 6th September 2013 Programm 2nd International Seminar and Workshop on Emerging Technology and Innovation for Cultural Heritage Parchment, Leather and Textiles Collections and Their Environment Bucharest, Romania, 3rd – 6th September 2013 Programm](https://www.pdfsearch.io/img/e4a47270ce271313d6a5ddfa5fe648cc.jpg) | Add to Reading ListSource URL: www.collage.com.roLanguage: English - Date: 2013-07-15 07:35:44
|
---|
139![LLL reducing with the most significant bits Saruchi Ivan Morel Indian Institute of Technology New Delhi LLL reducing with the most significant bits Saruchi Ivan Morel Indian Institute of Technology New Delhi](https://www.pdfsearch.io/img/00766a8edd3b58153423026d889cbc12.jpg) | Add to Reading ListSource URL: perso.ens-lyon.frLanguage: English - Date: 2017-06-27 04:39:37
|
---|